BROY, MANFRED: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Guiding requirements engineering for software-intensive embedded systems in the automotive industry

Peter Braun, Manfred Broy, Frank Houdek…

Journal:

Computer Science - Research and Development

Year:

2014

Language:

english

File:

PDF, 2.79 MB

english, 2014

2

[IEEE 2017 IEEE International Conference on Software Architecture (ICSA) - Gothenburg, Sweden (2017.4.3-2017.4.7)] 2017 IEEE International Conference on Software Architecture (ICSA) - On Service-Orientation for Automotive Software

Kugele, Stefan, Obergfell, Philipp, Broy, Manfred, Creighton, Oliver, Traub, Matthias, Hopfensitz, Wolfgang

Year:

2017

Language:

english

File:

PDF, 271 KB

english, 2017

3

Yesterday, Today, and Tomorrow – 50 Years of Software Engineering While Software Starts Eating the World

Journal:

Year:

2018

Language:

english

File:

PDF, 439 KB

english, 2018

4

Algebraic implementations preserve program correctness

Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing

Journal:

Science of Computer Programming

Year:

1986

Language:

english

File:

PDF, 1.15 MB

english, 1986

5

[ACM Press Proceeding of the 28th international conference - Shanghai, China (2006.05.20-2006.05.28)] Proceeding of the 28th international conference on Software engineering - ICSE '06 - Challenges in automotive software engineering

Year:

2006

Language:

english

File:

PDF, 219 KB

english, 2006

6

Anforderungsmanagement in der Softwareentwicklung

Univ.-Prof. Dr. Dr. h.c. Manfred Broy,Dr.-Ing. Klaus Webers

Journal:

Year:

2013

Language:

german

File:

PDF, 4.11 MB

german, 2013

7

On the algebraic definition of programming languages

Broy, Manfred, Wirsing, Martin, Pepper, Peter

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1987

Language:

english

File:

PDF, 3.16 MB

english, 1987

8

A formal model of services

Broy, Manfred, Krüger, Ingolf H., Meisinger, Michael

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2007

Language:

english

File:

PDF, 441 KB

english, 2007

9

[Lecture Notes in Computer Science] Program Construction Volume 69 || On the foolishness of "natural language programming"

Bauer, Friedrich L., Broy, Manfred, Dijkstra, E. W., Gerhart, S. L., Gries, D., Griffiths, M., Guttag, J. V., Horning, J. J., Owicki, S. S., Pair, C., Partsch, H., Pepper, P., Wirsing, M., Wössner, H.

Year:

1979

Language:

english

File:

PDF, 108 KB

english, 1979

10

A logical approach to systems engineering artifacts: semantic relationships and dependencies beyond traceability—from requirements to functional and architectural views

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 1.51 MB

english, 2017

11

On Integrating Design Thinking for a Human-Centered Requirements Engineering

Hehn, Jennifer, Mendez, Daniel, Uebernickel, Falk, Brenner, Walter, Broy, Manfred

Journal:

Year:

2019

File:

PDF, 822 KB

2019

12

Edsger W. Dijkstra – Acta Informatica and Marktoberdorf

Friedrich L. Bauer, Manfred Broy

Journal:

Acta Informatica

Year:

2003

Language:

english

File:

PDF, 51 KB

english, 2003

13

Softwarequalitätsmodelle – Praxisempfehlungen und Forschungsagenda

Stefan Wagner, Manfred Broy, Florian Deißenböck, Michael Kläs, Peter Liggesmeyer, Jürgen Münch, Jonathan Streit

Journal:

Informatik-Spektrum

Year:

2010

Language:

german

File:

PDF, 246 KB

german, 2010

14

Softwareentwicklung in Deutschland Eine Bestandsaufnahme

Michael Friedewald, H. Dieter Rombach, Petra Stahl, Manfred Broy, Susanne Hartkopf, Simone Kimpeler, Kirstin Kohler, Robert Wucher, Peter Zoche

Journal:

Informatik-Spektrum

Year:

2001

Language:

german

File:

PDF, 218 KB

german, 2001

15

Software Engineering

Manfred Broy, Dieter Rombach

Journal:

Informatik-Spektrum

Year:

2002

Language:

german

File:

PDF, 287 KB

german, 2002

16

What characterizes a (software) component?

Manfred Broy, Anton Deimel, Juergen Henn, Kai Koskimies, František Plášil, Gustav Pomberger, Wolfgang Pree, Michael Stal, Clemens Szyperski

Journal:

Software - Concepts & Tools

Year:

1998

Language:

english

File:

PDF, 250 KB

english, 1998

17

A uniform mathematical concept of a component

Journal:

Software - Concepts & Tools

Year:

1998

Language:

english

File:

PDF, 206 KB

english, 1998

18

Time, Abstraction, Causality and Modularity in Interactive Systems: Extended Abstract

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 138 KB

english, 2004

19

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 1181 || Algebraic semantics of the Oberon target machine

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Year:

1996

Language:

english

File:

PDF, 713 KB

english, 1996

20

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 1755 || Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles

Bjøner, Dines, Broy, Manfred, Zamulin, Alexandre V.

Year:

2000

Language:

english

File:

PDF, 144 KB

english, 2000

21

Pioneers and Their Contributions to Software Engineering || The Entity Relationship Model — Toward a Unified View of Data

Broy, Manfred, Denert, Ernst

Year:

2001

Language:

english

File:

PDF, 2.63 MB

english, 2001

22

[IEEE Future of Software Engineering - Minneapolis, MN, USA (2007.05.23-2007.05.25)] Future of Software Engineering (FOSE '07) - Software Engineering for Automotive Systems: A Roadmap

Pretschner, Alexander, Broy, Manfred, Kruger, Ingolf H., Stauner, Thomas

Year:

2007

Language:

english

File:

PDF, 875 KB

english, 2007

23

Softwarebasierte Funktionen Sicher, zuverlässig, strukturiert

Prof. Dr. Manfred Broy

Journal:

Year:

2013

Language:

german

File:

PDF, 1007 KB

german, 2013

24

Software-based Functions Safe, reliable, structured

Prof. Dr. Manfred Broy

Journal:

ATZelektronik worldwide eMagazine

Year:

2013

Language:

english

File:

PDF, 968 KB

english, 2013

25

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2244 ||

Bjørner, Dines, Broy, Manfred, Zamulin, Alexandre V.

Year:

2001

Language:

english

File:

PDF, 5.24 MB

english, 2001

26

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2890 || Principles for Entity Authentication

Broy, Manfred, Zamulin, Alexandre V.

Year:

2003

Language:

english

File:

PDF, 210 KB

english, 2003

27

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2890 || TeXOR: Temporal XML Database on an Object-Relational Database System

Broy, Manfred, Zamulin, Alexandre V.

Year:

2003

Language:

english

File:

PDF, 151 KB

english, 2003

28

[Lecture Notes in Computer Science] Methods of Programming Volume 544 || Deductive program development: Evaluation in reverse Polish notation as an example

Broy, Manfred, Wirsing, Martin

Year:

1991

Language:

english

File:

PDF, 805 KB

english, 1991

29

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || Efficient chaotic iteration strategies with widenings

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Year:

1993

Language:

english

File:

PDF, 762 KB

english, 1993

30

In memory of Bernhard Schätz, long- time friend and SoSyM editor

Broy, Manfred, Rumpe, Bernhard

Journal:

Software & Systems Modeling

Year:

2018

Language:

english

File:

PDF, 935 KB

english, 2018

31

[Lecture Notes in Computer Science] KORSO: Methods, Languages, and Tools for the Construction of Correct Software Volume 1009 || The Kiv-approach to software verification

Broy, Manfred, Jähnichen, Stefan

Year:

1995

Language:

english

File:

PDF, 1.61 MB

english, 1995

32

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || Predicative programming — A survey

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Year:

1993

Language:

english

File:

PDF, 946 KB

english, 1993

33

Logische und Methodische Grundlagen der Programm- und Systementwicklung (Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis) ||

Year:

2019

File:

PDF, 4.91 MB

2019

34

[Lecture Notes in Computer Science] Methods of Programming Volume 544 || Two metamodels for application system development conventional vs. object-oriented approach

Broy, Manfred, Wirsing, Martin

Year:

1991

Language:

english

File:

PDF, 1.15 MB

english, 1991

35

[Lecture Notes in Computer Science] KORSO: Methods, Languages, and Tools for the Construction of Correct Software Volume 1009 || AVL trees revisited: A case study in Spectrum

Broy, Manfred, Jähnichen, Stefan

Year:

1995

Language:

english

File:

PDF, 853 KB

english, 1995

36

Specification and top-down design of distributed systems

Journal:

Journal of Computer and System Sciences

Year:

1987

Language:

english

File:

PDF, 1.47 MB

english, 1987

37

On denotational versus predicative semantics

Manfred Broy, Christian Lengauer

Journal:

Journal of Computer and System Sciences

Year:

1991

Language:

english

File:

PDF, 1.38 MB

english, 1991

38

Views of queues

Journal:

Science of Computer Programming

Year:

1988

Language:

english

File:

PDF, 1.26 MB

english, 1988

39

On the Herbrand-Kleene universe for nondeterministic computations

Journal:

Theoretical Computer Science

Year:

1985

Language:

english

File:

PDF, 843 KB

english, 1985

40

A theory for nondeterminism, parallelism, communication, and concurrency

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 3.60 MB

english, 1986

41

Equational specification of partial higher-order algebras

Journal:

Theoretical Computer Science

Year:

1988

Language:

english

File:

PDF, 4.58 MB

english, 1988

42

A semantic and methodological essence of message sequence charts

Journal:

Science of Computer Programming

Year:

2005

Language:

english

File:

PDF, 1.47 MB

english, 2005

43

Refinement of time

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 165 KB

english, 2001

44

Algebraic specification of reactive systems

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 234 KB

english, 2000

45

The algebra of stream processing functions

Manfred Broy, Gheorghe Ştefănescu

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 224 KB

english, 2001

46

Preface: Volume 25

Luqi, Manfred Broy

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 40 KB

english, 1999

47

On hierarchies of abstract data types

Martin Wirsing, Peter Pepper, Helmut Partsch, Walter Dosch, Manfred Broy

Journal:

Acta Informatica

Year:

1983

Language:

english

File:

PDF, 1.68 MB

english, 1983

48

60th birthday of Professor Friedrich L. Bauer

Manfred Broy, Heinz Götze

Journal:

Acta Informatica

Year:

1984

Language:

english

File:

PDF, 30 KB

english, 1984

49

Experiences with software specification and verification using LP, the Larch proof assistant

Journal:

Formal Methods in System Design

Year:

1996

Language:

english

File:

PDF, 2.65 MB

english, 1996

50

Editorial

Manfred Broy, Cliff Jones

Journal:

Formal Aspects of Computing

Year:

1996

Language:

english

File:

PDF, 122 KB

english, 1996